Date: Wed, 20 Nov 1996 19:36:14 GMT
Server: NCSA/1.5.2
Last-modified: Tue, 15 Oct 1996 16:24:31 GMT
Content-type: text/html
Content-length: 13347

<html>

<head>
<TITLE> Programming Languages Group at UIUC </TITLE> 
</head>

<body>
<H1> Programming Languages Group</H1>
<!WA0><a href="http://www.cs.uiuc.edu/">
Dep. of Computer Science</a>,
<!WA1><a href="http://www.uiuc.edu/">
University of Illinois</a>.

<P>
<h3> Senior researchers </h3>
<h4>
<ul>
<li> <!WA2><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kamin.html">
Sam Kamin</a>
<li> <!WA3><a href = "http://vesuvius.cs.uiuc.edu:8080/home/reddy.html">Uday Reddy</a>
</ul>
</h4>

<P>
<h3> Researchers </h3>
<h4>
<ul>
<li> <!WA4><a href="http://www.uiuc.edu/ph/www/mattox-b">Matt Beckman</a>
<li> Francois Bronsard
<li> Bill Harrison
<li> <!WA5><a href="http://www.uiuc.edu/ph/www/dalamar">Howard Huang</a>
<li> <!WA6><a href="http://www.uiuc.edu/ph/www/jjones">Joel Jones</a>
<li> <!WA7><a href="http://www-sal.cs.uiuc.edu/~lakshman/">T.K. Lakshman</a>
<li> <!WA8><a href="http://vesuvius.cs.uiuc.edu:8080/springer/">Jonathan Springer</a>
</ul>
</h4>

<P>
<h3> Our Colleagues at University of Illinois </h3>
<!WA9><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/agha.html">
Gul Agha</a> | 
<!WA10><a href = "http://acsl.cs.uiuc.edu/~caplan/">
Josh Caplan</a> | 
<!WA11><a href = "http://www-csag.cs.uiuc.edu/individual/achien/achien.html">
Andrew Chien</a> |
<!WA12><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/dershowitz.html">
Nachum Dershowitz</a> |
<!WA13><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/johnson.html">
Ralph Johnson</a> |
<!WA14><a href = "http://www.cs.uiuc.edu/CS_INFO_SERVER/DEPT_INFO/CS_FACULTY/FAC_HTMLS/kaplan.html">
Simon Kaplan</a>

<P>
<!WA15><a href="http://www.math.uiuc.edu/~gray"> John Gray</a>, 
<!WA16><a href="http://www.uiuc.edu/ph/www/drg"> Dan Grayson</a>, and 
Gaisi Takeuti in 
<!WA17><a href="http://www.math.uiuc.edu/"> Dep. of Mathematics </a>.


<P>
<!WA18><a href="#Our Colleagues Elsewhere">
<h3>Our Colleagues Elsewhere</h3></a>

<P>
<h3> Our Research </h3>

<P>
<!WA19><a href="#Resources">
<h3>WWW Resources </h3></a>


<HR>

<a name="Our Colleagues Elsewhere">

<h2> Our Colleagues elsewhere </h2>


<ul>

<h4>
<LI> <!WA20><a href="http://dynamo.ecn.purdue.edu/~mspls">
MSPLAS</a>: Midwest Soc. for Prog. Langs. and Systems
</h4>

<li>
<!WA21><a href="http://www.dcs.ed.ac.uk/generated/infopages/samson.html">
Samson Abramsky</a> at 
<!WA22><a href="http://www.dcs.ed.ac.uk/">
<em>Edinburgh</em></a> 
<!WA23><a href="http://www.dcs.ed.ac.uk/lfcs/">
LFCS</a>
(formerly at
<!WA24><a href="http://www.doc.ic.ac.uk/">
<em>Imperial College</em></a>),

<li>
<!WA25><a href="http://http.cs.berkeley.edu/~aiken/">
Alex Aiken</a> at 
<!WA26><a href="http://www.cs.berkeley.edu/">
<em>Berkeley</em></a>,

<li>
<!WA27><a href="http://www.cs.princeton.edu/~appel/">
Andrew Appel</a> at 
<!WA28><a href="http://www.cs.princeton.edu/">
<em>Princeton</em></a>,

<li>
<!WA29><a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/spot/web/frg/Brookes.txt">
Steve Brookes</a> at
<!WA30><a href="http://www.cs.cmu.edu/Web/csd/csd.html">
<em>Carnegie Mellon</em></a>,


<li>
<!WA31><a href="http://www.cs.williams.edu/~kim/">
Kim Bruce</a> at 
<!WA32><a href="http://www.cs.williams.edu/">
Williams College</a>,

<li>
<!WA33><a href="http://www.research.digital.com/SRC/personal/Luca_Cardelli/home.html">
Luca Cardelli</a> at 
<!WA34><a href="http://www.research.digital.com/SRC/home.html">
<em>Digital SRC</em></a>,

<li>
Corky Cartwright
and Matthias Felleisen at
<!WA35><a href="http://www.cs.rice.edu/CS/PLT/index.html">
<em>Rice</em></a>,

<li>
<!WA36><a href="http://theory.doc.ic.ac.uk:80/tfm/papers/dePaivaVC">
Valeria dePaiva</a>,
<!WA37><a href="http://www.cl.cam.ac.uk/users/adg/">
Andy Gordon</a> at
Cambridge,

<li>
<!WA38><a href="http://www.cis.upenn.edu/~gunter/home.html">
Carl Gunter</a> and
<!WA39><a href="http://www.cis.upenn.edu/~dale">
Dale Miller</a> at 
<!WA40><a href="http://www.cis.upenn.edu/">
<em>UPenn</em></a>,


<li>
<!WA41><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/rwh/public/www/home.html">
Bob Harper</a> at 
<!WA42><a href="http://www.cs.cmu.edu/Web/csd/csd.html">
<em>Carnegie Mellon</em></a>,

<li>
<!WA43><a href="http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/hudak-paul.html">
Paul Hudak</a> at 
Yale,

<li>
<!WA44><a href="http://www.cs.chalmers.se/~rjmh">
John Hughes</a> at
<!WA45><a href="http://www.cs.chalmers.se/">
<em>Chalmers</em></a>,

<li>
<!WA46><a href="ftp://ftp.cwi.nl/pub/bjacobs"> 
Bart Jacobs</a> at
CWI,

<li>
<a>Radha Jagadeesan</a>,
<!WA47><a href="http://www.math.luc.edu/~laufer/">
Konstantin Laufer</a>
 at 
<!WA48><a href="http://www.math.luc.edu/">
Loyola</a>,

<li>
<a>David MacQueen</a>,
<!WA49><a href= "http://cm.bell-labs.com/who/riecke/">
Jon Riecke</a> at
<!WA50><a href= "http://www.bell-labs.com/sitemap.html">
<em>Bell Labs</em></a>

<li>
<a>
Neil Jones</a>,
<!WA51><a href="http://www.diku.dk/research-groups/topps/personal/tofte.html">
Mads Tofte</a>, and
<!WA52><a href="http://www.diku.dk/research-groups/topps/personal/henglein.html">
Fritz Henglein</a>
at
<!WA53><a href="http://www.diku.dk/index-text.html">
<em>DIKU</a> (Copenhagen)
<!WA54><a href="http://www.diku.dk/research-groups/topps">
TOPPS</a> group</em>,

<li>
<!WA55><a href="http://www.cse.ogi.edu/~dick/dick.html">
Dick Kieburtz</a>,
<!WA56><a href="http://www.cse.ogi.edu/~jl/">
John Launchbury</a> at
<!WA57><a href="http://www.cse.ogi.edu/">
<em>Oregon Grad. Institute</em></a>,

<li>
<!WA58><a href="http://www.dcs.qmw.ac.uk/~ohearn/">
Peter O'Hearn</a> at 
<!WA59><a href="http://www.dcs.qmw.ac.uk/">
Queen Mary Westfield</a>,

<li>
<!WA60><a href="http://wwwipd.ira.uka.de/~odersky/">
Martin Odersky</a> at
<!WA61><a href="http://wwwipd.ira.uka.de/">
Karlsruhe</a>,


<li>
<!WA62><a href="http://theory.stanford.edu/people/jcm/home.html">
John Mitchell</a> at
<!WA63><a href="http://www-cs.stanford.edu/">
<em>Stanford</em></a>,

<li>
<!WA64><a href="http://www.cl.cam.ac.uk/users/am/">
Alan Mycroft</a>,
<!WA65><a href="http://theory.doc.ic.ac.uk:80/tfm/papers/PittsAM">
Andy Pitts</a> at 
Cambridge,

<li>
<!WA66><a href="http://www.cs.indiana.edu/hyplan/pierce.html">
Benjamin Pierce</a> at 
<!WA67><a href="http://www.cs.indiana.edu/">
<em>Indiana</em></a>,

<li>
<!WA68><a href="http://theory.stanford.edu/people/pratt/home.html">
Vaughan Pratt</a> at 
<!WA69><a href="http://www-cs.stanford.edu/">
<em>Stanford</em></a>,

<li>
<!WA70><a href="http://www.loria.fr/~retore/index.html">
Christian Retore</a> at
<!WA71><a href="http://www.loria.fr/">
<em>LORIA</em></a>,

<li>
<!WA72><a href="http://theory.doc.ic.ac.uk:80/tfm/papers/ReynoldsJ">
John Reynolds</a> at 
<!WA73><a href="http://www.doc.ic.ac.uk/">
<em>Imperial College</em></a>/
<!WA74><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/misc/mosaic/common/omega/Web/SCS-HOME.html">
<em>Carnegie Mellon</em></a>,

<li>
Udi Shapiro</a> at
<em> Weizmann</em> and
<!WA75><a href="http://www.ubique.com">
<em>Ubique</em></a>

<li>
<!WA76><a href="ftp://ftp.qucis.queensu.ca/pub/rdt">
Bob Tennent</a> at 
<em>Queen's</em> 
(occasionally at
<!WA77><a href="http://www.dcs.ed.ac.uk/">
<em>Edinburgh</em></a>),

<li>
<!WA78><a href="http://www.dcs.gla.ac.uk/~wadler">
Phil Wadler</a> at 
<!WA79><a href="http://www.dcs.gla.ac.uk/">
<em>Glasgow</em></a>,

</ul>

<HR>



<a name="Resources">

<P>
<h2> WWW Resources </h2>
<h4> Our Favorite Archives and Home Pages </h4>
<ul>

<li>
<!WA80><a href="http://hercule.csci.unt.edu:80/tcs-rolodex/">
Theor Comp Science virtual rolodex</a>
from
<!WA81><a href="http://sigact.acm.org/sigact">
SIGACT</a>.

<li>
<!WA82><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html">
Programming Language Research</a> (Mark Leone)

<li>
<!WA83><a href="http://www.comlab.ox.ac.uk/archive/formal-methods.html">
Formal Methods</a> (Jonathan Bowen)

<li>
<!WA84><a href="http://www.lpac.ac.uk/SEL-HPC/Articles/FuncArchive.html">
Functional Programming Archive</a> (at SEL-HPC)

<li> 
<!WA85><a href="http://theory.doc.ic.ac.uk/tfm/papers.html">
Theory and Formal Methods archive</a> (at Imperial College)

<li>
<!WA86><a href="http://hypatia.dcs.qmw.ac.uk/">
Hypatia</a> (at Queen Mary and Westfield College)

<li>
<!WA87><a href="http://www.math.tulane.edu/archive.html">
Theoretical computer science archive</a> (at Tulane)

<li>
<!WA88><a href= "http://www.mta.ca/~cat-dist/">
Categories mailing list archive</a> (Bob Rosebrugh)

<li>
<!WA89><a href="http://www.csl.sri.com/linear/sri-csl-ll.html">
Linear logic home page</A> (Patrick Lincoln)

<li>
<!WA90><a href="htp://www.informatik.uni-trier.de/~ley/db/lpgroups.html">
Logic Programming</a>

<LI>
<!WA91><a href="http://cuiwww.unige.ch/OSG/OOinfo/">
Object Oriented Programming</a>

<LI>
<!WA92><a href="http://web.cs.city.ac.uk/archive/constraints/constraints.html">
Constraints</a>

<LI>
<!WA93><a href="http://www-formal.stanford.edu/clt/ARS/ars-db.html">
Mechanized reasoning</a> (Carolyn Talcott and Michael Kohlhase)

</ul>

<h4> Electronic journals </h4>

<ul>

<li>
<!WA94><a href="http://www.mpi-sb.mpg.de/igpl/Bulletin">
Bulletin of the IGPL (Interest group on Pure and Applied Logics)</a>

<li>
<!WA95><a href="http://www.cs.utwente.nl/data/amast/Index.html">
AMAST Newsletter (Algebraic Methodology and Software Technology)</a>

</ul>

<h4> Mailing List Archives</h4>

<ul>

<li> <!WA96><a href="http://www.mta.ca/~cat-dist/">
Categories</a>

</ul>

<h4> Our Favorite Conferences </h4>

<ul>

<LI> <!WA97><a href="http://pauillac.inria.fr/SIGPLAN/conferences/popl96/">
POPL</a>: Principles of Programming Languages

<LI><!WA98><A HREF="http://vesuvius.cs.uiuc.edu:8080/sipl/index.html">
SIPL</a>: State in Programming Languages

<LI><!WA99><a href= "http://www.cs.williams.edu/~kim/FOOL/index.html">
FOOL</a>: Foundations of Object-oriented Languages

<LI> <!WA100><a href="http://www.cs.indiana.edu/icfp96/index.html">
ICFP</a>: Intern. Conf. on Functional Programming

<LI> <!WA101><a href="http://info.acm.org/sig_forums/sigplan/oopsla95.html">
OOPSLA</a>: Object-oriented Prog. Systems Langs. Appls.

<LI> <!WA102><a href="http://www.bell-labs.com/topic/conferences/lics/">
LICS</a>: Logic in Computer Science

<LI> <!WA103><a href="http://www.math.tulane.edu/MFPS.html">
MFPS</a>: Mathematical Foundations of Programming Semantics

<LI> <!WA104><a href="http://www.cl.cam.ac.uk/users/am/sas-95">
SAS</a>: Static Analysis Symposium

<LI> <!WA105><a href="http://www.cs.purdue.edu/homes/gb/MSPLS95.html">
MSPLAS</a>: Midwest Soc. for Prog. Langs. and Systems

<li> <!WA106><a href="http://www.cs.albany.edu/~nvm/cade.html">
CADE</a>: Conference on Automated Deduction

<li> <!WA107><a href="http://www.iao.fhg.de/Library/conferences/">
WWW Virtual Library of Conferences</a>

</ul>


<h4> Conference/Journal/Tech Report Contents </h4>

<ul>

<li>
<!WA108><a href="http://theory.lcs.mit.edu/~dmjones/hbp/bibsearch.html">
Hypertext Bibliography Project (HBP) database</a>


<li>
<!WA109><a href="http://www.informatik.uni-trier.de/~ley/db/index.html">
Database systems and logic programming (Michael Ley, Trier)</a>
<BLINK> Cool site!! </BLINK>

<li>
<!WA110><a href="http://www.cup.cam.ac.uk/">
Cambridge</a>:
<!WA111><a href="http://www.dcs.gla.ac.uk/jfp">
J. of Functional Programming</a>

<li>
<!WA112><a href="http://www.bubl.bath.ac.uk/BUBL/APJournals.html">
Academic Press</a>:
<!WA113><a href="http://theory.lcs.mit.edu/~iandc/">
Information and Computation</a>, 
<!WA114><a href="http://info.risc.uni-linz.ac.at/local/library/jsc">
J. Symbolic Computation</a>.

<li>
<!WA115><a href="http://www.elsevier.nl/">
Elsevier</a>:
<!WA116><a href="http://www.elsevier.nl/freeinfo/mathcompcog/505625/505625.HTM">
Theoretical Computer Science</a>.

<li>
<!WA117><a href="gopher://gopher.wkap.nl/">
Kluwer</a>.

<li>
<!WA118><a href="http://www.springer.co.uk/">Springer-Verlag</a>:
<!WA119><a href="http://www.springer.co.uk/eWiC/Introduction.html">
Electronic Workshops in Computing</a>.

<li>
<!WA120><a href="http://info.acm.org/">
ACM</a>,
<!WA121><a href="http://pauillac.inria.fr/SIGPLAN/">
SIGPLAN</a>:
<!WA122><a href="http://www.informatik.uni-trier.de/~ley/db/journals/toplas/index.html">
TOPLAS</a>,
<!WA123><a href="http://theory.lcs.mit.edu/~jacm/">
JACM</a>,
<!WA124><a href="http://www.informatik.uni-trier.de/~ley/db/conf/popl/index.html">
POPL</a>,
<!WA125><a href="http://www.informatik.uni-trier.de/~ley/db/conf/pldi/index.html">
PLDI</a>,
<!WA126><a href="http://www.informatik.uni-trier.de/~ley/db/conf/oopsla/index.html">
OOPSLA</a>.

<li>
<!WA127><a href="http://www.cs.mu.oz.au/~ad/alp/info-alp.html">
ALP</a>:
<!WA128><a href="http://www.informatik.uni-trier.de/~ley/db/conf/iclp/index.html">
ICLP</a>,
<!WA129><a href="http://www.informatik.uni-trier.de/~ley/db/conf/slp/index.html">
SLP</a>,
<!WA130><a href="http://www.informatik.uni-trier.de/~ley/db/journals/jlp/index.html">
JLP</a>.

<li>
<!WA131><a
href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/jblythe/Mosaic/cs-reports.html">
Menu of On-line CS Techreports, CMU</a>

<li>
<!WA132><a href="http://harvest.cs.colorado.edu/brokers/cstech/query.html">
Harvest broker for CS technical reports, Colorado</a>. 

<li>
<!WA133><a href="http://glimpse.cs.arizona.edu:1994/bib/">
Glimpse server for CS bibliography entries, Arizona</a>.
<BLINK>Cool site!!</BLINK>

<li>
<!WA134><a href="http://www.cs.indiana.edu/cstr/search">
Unified Computer Science TR Index, Indiana</a>. 

<li>
<!WA135><a href="http://www.yahoo.com/search.html">
<em> Yahoo</em> search engine</a>

<li>
<!WA136><a href=
"http://www.cs.cmu.edu/afs/cs.cmu.edu/misc/mosaic/common/omega/Web/Library/bibliographies.html">
CMU Library guide to online bibliographies</a>.

<li>
<!WA137><a href= "http://www.bookshop.co.uk/default.htm">
Internet Book Shop (UK) </a>.

<li>
<!WA138><a href= "http://www.prenhall.com/list/computem.html">
Prentice-Hall </a>
</ul>

<h4> Funding agencies </h4>

<ul>

<li>
<!WA139><a href="http://www.nsf.gov/">NSF</a>,
<!WA140><a href="http://www.cise.nsf.gov/">CISE</a>,
<!WA141><a href="http://www.cise.nsf.gov/cise/CCR/CCRHome.html">CCR</a>.

<li>
<!WA142><a href="http://www.csto.arpa.mil/">
ARPA</a>,
<!WA143><a href="http://www.csto.arpa.mil/CSTOWelcome.html">
CSTO</a>.

<li>
<!WA144><a href="http://www.onr.navy.mil/">
ONR</a>,
<!WA145><a href="http://web.fie.com/web/fed/onr/prog/onrpgaaj.html">
Software program</a>.

<li>
<!WA146><a href="http://www.gsfc.nasa.gov/NASA_homepage.html">
NASA</a>.

</ul>

